AUML protocols: from specification to detailed design
نویسندگان
چکیده
In this work, we show how AUML protocol specifications in the Prometheus methodology can be automatically propagated to the detailed design of the methodology by creating appropriate artefacts. The approach is general to all design methodologies that follow the BDI model of agents.
منابع مشابه
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an important characteristic of multi-agent systems (MAS). The usual approaches to model agents’ interactions consist of describing them as protocols [Hug04]. In the literature, several representation formalisms of agents’ interact...
متن کاملTranslating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols suffer from many weaknesses. We present, in this paper, a formal approach supporting the verification of agents’ interaction protocols described by using AUML formalism. The considered AUML diagrams are formally transla...
متن کاملA Specification and Validation Approach for Business Process Integration based on Web Services and Agents
. In this paper, we present a new approach for business processes integration. Our approach is based on interaction protocols that enable autonomous, distributed business process modules to integrate and collaborate. In our case, the business processes integration is modelled using AUML and specified using BPEL4WS. Furthermore and to increase the reliability of interaction protocols at design t...
متن کاملFrom AUML to WS-BPEL
The Web Services (WS) technology is currently gaining a wider and wider consensus. The features that characterise WSs, namely heterogeneity, distribution, openness, highly dynamic interactions, are some among the key characteristics of another emerging technology, that of intelligent agents and Multi-Agent Systems (MASs). In this paper we discuss the relationships between WSs and intelligent ag...
متن کاملA Modeling Framework for Generic Agent Interaction Protocols
Agent-UML (AUML) extended UML in order to facilitate the modeling process for agent based systems. It offers several graphical notations, including protocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting e...
متن کامل